Orna Grumberg: buscar en el sitio web de Z-Library

Donaciones 15 de septiembre 2024 – 1 de octubre 2024 Acerca de la recaudación de fondos

Libre acceso a los conocimientos y la cultura.

Donaciones 15 de septiembre 2024 – 1 de octubre 2024

Z-Library es una de las bibliotecas en línea más grandes del mundo que contiene más de 17,000,000 libros y 84,837,000 artículos. Nuestro objetivo es hacer que la literatura sea accesible para todos. Hoy (15 de septiembre 2024) hemos empezado a recaudar donaciones adicionales para el soporte y desarrollo del proyecto.

También hay descargas ILIMITADAS (durante 31 días después del día de la donación) disponibles para TODOS los usuarios que apoyen el proyecto durante el período de recaudación de fondos hasta el 1 de octubre 2024.

Acerca de la recaudación de fondosVer más

Hacer una donación

Libros (16)
Más populares
Lista
- Lista
- Tabla

1

Model checking

Model checking

Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled

Año:

1999

Idioma:

english

Archivo:

DJVU, 1.88 MB

0 / 0

english, 1999

2

Model Checking (Cyber Physical Systems Series)

Model Checking (Cyber Physical Systems Series)

Edmund M. Clarke Jr., Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith

Año:

2018

Idioma:

english

Archivo:

EPUB, 15.52 MB

0 / 5.0

english, 2018

3

Model Checking

Model Checking

Edmund M. Clark Jr., Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith

Año:

2018

Idioma:

english

Archivo:

EPUB, 13.56 MB

0 / 0

english, 2018

4

25 Years of Model Checking: History, Achievements, Perspectives

25 Years of Model Checking: History, Achievements, Perspectives

Springer-Verlag Berlin Heidelberg

Edmund M. Clarke (auth.), Orna Grumberg, Helmut Veith (eds.)

Año:

2008

Idioma:

english

Archivo:

PDF, 41.36 MB

0 / 0

english, 2008

5

Model checking

Model checking

Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled

Año:

1999

Idioma:

english

Archivo:

DJVU, 3.22 MB

0 / 0

english, 1999

6

Formal Logical Methods for System Security and Correctness

Formal Logical Methods for System Security and Correctness

Orna Grumberg, Orna Grumberg, Tobias Nipkow, Christian Pfaller

Año:

2008

Idioma:

english

Archivo:

PDF, 1.73 MB

0 / 0

english, 2008

7

Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday

Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday

Springer-Verlag Berlin Heidelberg

Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog (auth.), Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner (eds.)

Año:

2009

Idioma:

english

Archivo:

PDF, 3.72 MB

0 / 0

english, 2009

8

Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedi

Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedi

Springer-Verlag Berlin Heidelberg

Rance Cleaveland (auth.), Orna Grumberg, Michael Huth (eds.)

Año:

2007

Idioma:

english

Archivo:

PDF, 8.60 MB

0 / 0

english, 2007

9

Model Checking

Model Checking

Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled

Año:

1999

Idioma:

english

Archivo:

DJVU, 2.13 MB

0 / 0

english, 1999

10

Dependable software systems engineering

Dependable software systems engineering

Ios Pr Inc; IOS Press

Esparza, Javier(Editor), Grumberg, Orna(Editor), Sickert, Salomon(Editor)

Año:

2016

Idioma:

english

Archivo:

PDF, 5.91 MB

5.0 / 0

english, 2016

11

Computer Aided Verification: 9th International Conference, CAV'97 Haifa, Israel, June 22–25, 1997 Proceedings

Computer Aided Verification: 9th International Conference, CAV'97 Haifa, Israel, June 22–25, 1997 Proceedings

Springer-Verlag Berlin Heidelberg

F. Erich Marschner (auth.), Orna Grumberg (eds.)

Año:

1997

Idioma:

english

Archivo:

DJVU, 5.29 MB

0 / 0

english, 1997

12

25 Years of Model Checking History, Achievements, Perspectives

25 Years of Model Checking History, Achievements, Perspectives

Springer Berlin Heidelberg

Grumberg, Orna., Veith, Helmut

Año:

2008

Idioma:

english

Archivo:

PDF, 42.39 MB

0 / 5.0

english, 2008

13

Tools and Algorithms for the Construction and Analysis of Systems. 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences onTheoryandPracticeofSoftware,ETAPS2007 Braga, Portugal, March 24 -April 1, 2007 Proceedings

Tools and Algorithms for the Construction and Analysis of Systems. 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences onTheoryandPracticeofSoftware,ETAPS2007 Braga, Portugal, March 24 -April 1, 2007 Proceedings

Orna Grumberg, Michael Huth (eds.)

Año:

2007

Idioma:

english

Archivo:

PDF, 8.60 MB

0 / 4.0

english, 2007

14

Correct Hardware Design and Verification Methods: IFIP WG 10.5 Advanced Research Working Conference, CHARME '95 Frankfurt/Main, Germany, October 2–4, 1995 Proceedings

Correct Hardware Design and Verification Methods: IFIP WG 10.5 Advanced Research Working Conference, CHARME '95 Frankfurt/Main, Germany, October 2–4, 1995 Proceedings

Springer-Verlag Berlin Heidelberg

Hardi Hungar, Orna Grumberg (auth.), Paolo E. Camurati, Hans Eveking (eds.)

Año:

1995

Idioma:

english

Archivo:

DJVU, 3.20 MB

0 / 0

english, 1995

15

Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday

Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday

Springer-Verlag Berlin Heidelberg

Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog (auth.), Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner (eds.)

Año:

2009

Idioma:

english

Archivo:

PDF, 3.63 MB

0 / 0

english, 2009

16

25 Years of Model Checking: History, Achievements, Perspectives

25 Years of Model Checking: History, Achievements, Perspectives

Springer-Verlag Berlin Heidelberg

Edmund M. Clarke (auth.), Orna Grumberg, Helmut Veith (eds.)

Año:

2008

Idioma:

english

Archivo:

DJVU, 4.00 MB

0 / 0

english, 2008